On Generalizations of Semi-terms of Particularly Simple Form
نویسندگان
چکیده
We show that Gentzen’s sequent calculus admits generalization of semi-terms of particularly simple form. This theorem extends one of the main results in [BS95] to languages L with functions of arbitrary arity and the central result in [KP88] to semi-terms.
منابع مشابه
On generalizations of semiperfect and perfect rings
We call a ring $R$ right generalized semiperfect if every simple right $R$-module is an epimorphic image of a flat right $R$-module with small kernel, that is, every simple right $R$-module has a flat $B$-cover. We give some properties of such rings along with examples. We introduce flat strong covers as flat covers which are also flat $B$-covers and give characterizations of $A$-perfe...
متن کاملOn two generalizations of semi-projective modules: SGQ-projective and $pi$-semi-projective
Let $R$ be a ring and $M$ a right $R$-module with $S=End_R(M)$. A module $M$ is called semi-projective if for any epimorphism $f:Mrightarrow N$, where $N$ is a submodule of $M$, and for any homomorphism $g: Mrightarrow N$, there exists $h:Mrightarrow M$ such that $fh=g$. In this paper, we study SGQ-projective and $pi$-semi-projective modules as two generalizations of semi-projective modules. A ...
متن کاملSemi - classical States in the Context of Constrained Systems
Algebraic quantization scheme has been proposed as an extension of the Dirac quantization scheme for constrained systems. Semi-classical states for constrained systems is also an independent and important issue, particularly in the context of quantum geometry. In this work we explore this issue within the framework of algebraic quantization scheme by means of simple explicit examples. We obtain...
متن کاملSimple Solutions for Buckling of Conical Shells Composed of Functionally Graded Materials
Using Donnell-type shell theory a simple and exact procedure is presented for linear buckling analysis of functionally graded conical shells under axial compressive loads and external pressure. The solution is in the form of a power series in terms of a particularly convenient coordinate system. By analyzing the buckling of a series of conical shells, under various boundary conditions and diffe...
متن کاملThe Asymptotic Form of Eigenvalues for a Class of Sturm-Liouville Problem with One Simple Turning Point
The purpose of this paper is to study the higher order asymptotic distributions of the eigenvalues associated with a class of Sturm-Liouville problem with equation of the form w??=(?2f(x)?R(x)) (1), on [a,b, where ? is a real parameter and f(x) is a real valued function in C2(a,b which has a single zero (so called turning point) at point 0x=x and R(x) is a continuously differentiable function. ...
متن کامل